Model for Con uent Dynamic Data - Flow Networks
نویسنده
چکیده
We introduce a state-based language for programming dynamically changing networks which consist of processes that communicate asynchronously. For this language we introduce an operational semantics and a notion of observable which includes both partial correctness and absence of deadlock. Our main result is a compositional characterization of this notion of observable for a con uent sub-language. 2000 Mathematics Subject Classi cation: 68N15, 68N99, 68Q10, 68Q55, 68Q6
منابع مشابه
"Technical Report" Performance Comparison of IHACRES Model and Artificial Neural Network to Predict the Flow of Sivand River
The accurate determination of river flow in watersheds without sufficient data is one of the major challenges in hydrology. In this regard, given the diversity of existing hydrological models, selection of an appropriate model requires evaluation of the performance of the hydrological models in each region. The objective of this study was to compare the performance of artificial neural network ...
متن کاملState Space Reduction using Partial -Con uence
We present an e cient algorithm to determine the maximal class of con uent -transitions in a labelled transition system. Con uent -transitions are inert with respect to branching bisimulation. This allows to use -priorisation, which means that in a state with a con uent outgoing -transition all other transitions can be removed, maintaining branching bisimulation. In combination with the removal...
متن کاملSpi Connuent Vandermonde Matrices Using Sylvester's Structures Connuent Vandermonde Matrices Using Sylvester's Structures
In this paper we rst show that a con uent Vandermonde matrix may be viewed as composed of some rows of a certain block Vandermonde matrix As a result we derive a Sylvester s structure for this class of matrices that ap pears as a natural generalization of the straightforward one known for usual Vandermonde matrices Then we present some applications as an illustration of the established structur...
متن کاملConversion and Residence Time Calculation for Gas-solid Solid Reactions of the Cylindrical-shaped Particles with Con-stant Size Using the Shrinking Core Model
In this paper, a mathematical model is developed to calculate the conversion and the residence time reaction for plug flow and mixed flow in the reactors filled with cylin-drical particles using the shrinking core model. In this modeling, the size of the particles is un-chamged during the reaction. Also, the reaction rate is controlled by the gas layer resistance, the ash layer resistance, and ...
متن کاملThe Decidability of the Generalized Confluence Problem for Context-Free Languages
A language L is con uent with respect to a given quasi order on if, for any x; y 2 L, there is z 2 L such that x z and y z. L is con uent with respect to in generalized sense if it is a nite union of languages conuent with respect to . We investigate in this paper the decidability of the generalized con uence problem with respect to the pre x partial order and the factor partial order for conte...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000